📐 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification

Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
⚡Zig
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·2h·
Discuss: Hacker News
🤖ai
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·2d·
Discuss: Hacker News
💾Databases
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·2d
🔄Concurrency
Flag this post
Side project advice
nedbatchelder.com·1d
❄️Nix
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·7h
🔍eBPF
Flag this post
Nim 2.2.6
nim-lang.org·13h·
Discuss: Hacker News
⚡Zig
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·2d·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·5d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Apple Plans To Open-Source An LLVM Tool To Security Harden Large C++ Codebases
phoronix.com·2d·
Discuss: Hacker News, Hacker News
⚡Zig
Flag this post
The Green Tea Garbage Collector
go.dev·3d·
Discuss: Lobsters, Hacker News, r/golang
⚡Zero-Copy
Flag this post
AI scrapers request commented scripts
cryptography.dog·11h·
Discuss: Lobsters, Hacker News
🤖ai
Flag this post
I'm Independently Verifying Go's Reproducible Builds
agwa.name·2d·
Discuss: Lobsters, Hacker News, r/golang
❄️Nix
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·3d·
Discuss: Hacker News
⚡Zig
Flag this post
Emergent Introspective Awareness in Large Language Models
transformer-circuits.pub·2d·
Discuss: Hacker News, r/LocalLLaMA
🤖ai
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·2d·
Discuss: Hacker News
💾Databases
Flag this post
Debug like a boss: 10 debugging hacks for developers, quality engineers, testers
ministryoftesting.com·12h·
Discuss: Hacker News
⚡Zig
Flag this post
The cryptography behind electronic passports
blog.trailofbits.com·16h·
Discuss: Hacker News
🔒Cryptography
Flag this post